1 Potassco: The Potsdam Answer Set Solving Collection Martin Gebser, Benjamin Kaufmann, Roland Kaminski, Max Ostrowski, Torsten Schaub, and Marius Schneider

Source URL: www.cs.uni-potsdam.de

• Logic programming
• NP-complete problems
• Operations research
• Constraint programming
• Answer set programming
• Logic in computer science
• Boolean satisfiability problem
• Algorithm
• Solver
• Stable model semantics
• AMPL
• Constraint satisfaction problem

Rewriting Guarded Negation Queries Vince B´ar´any? , Michael Benedikt, and Balder ten Cate ?? 2 1 LogicBlox Inc., Atlanta, GA Department of Computer Science, University of Oxford

Source URL: developer.logicblox.com

• Logic
• Abstraction
• Mathematics
• Model theory
• Mathematical logic
• Craig interpolation
• First-order logic
• Conjunctive query
• Beth definability
• Substitution
• Interpretation
• Structure

SHARED MEASUREMENT LOGIC MODEL PROBLEM STATEMENTS We do not currently understand the full impact of our services for individuals and how community conditions affect these impacts. We lack valid and reliable data on indi

Source URL: www.upstreaminvestments.org

Microsoft Word - Public Diplomacy - Final 2

Source URL: www.jallc.nato.int

• Evaluation
• Impact assessment
• Logic model
• Theory of change
• Methodology
• Analysis
• Organizational effectiveness
• Public diplomacy
• Program evaluation
• Impact evaluation

Relational program logics in decomposed style Lennart Beringer ∗ Department of Computer Science, Princeton University, 35 Olden Street, Princeton NJ 08540

Source URL: www.cs.princeton.edu

• Model theory
• Formal languages
• Mathematical logic
• Structure
• Universal algebra
• Interpretation
• Relational algebra
• Substitution

On the “Logic without Borders” Point of View∗ Juliette Kennedy Department of Mathematics and Statistics University of Helsinki, Finland June 29, 2014

Source URL: www.math.helsinki.fi

• Mathematical logic
• Logic
• Model theory
• Mathematics
• Large cardinals
• Set theory
• Metalogic
• Stable theory
• First-order logic
• Second-order logic
• Constructible universe
• Tree

Application for a Dagstuhl Seminar Deduction and Arithmetic Nikolaj Bjørner Reiner H¨ahnle Tobias Nipkow

Source URL: www.dagstuhl.de

• Theoretical computer science
• Mathematical logic
• Logic
• Logic in computer science
• Automated theorem proving
• Formal methods
• Model theory
• Satisfiability modulo theories
• Automated reasoning
• Presburger arithmetic
• First-order logic
• Formal verification

Nat Lang Semantics DOIs11050Interface transparency and the psychosemantics of most Jeffrey Lidz Æ Paul Pietroski Æ Justin Halberda Æ Tim Hunter

Source URL: ling.umd.edu

• Philosophy
• Logic
• Abstraction
• Semantics
• Philosophical logic
• Theories of truth
• Meaning
• Metalogic
• Model theory
• First-order logic
• Truth condition
• IP

Information Retrieval A Relational Model of Data for Large Shared Data Banks E. F. CODD

Source URL: people.csail.mit.edu

• Mathematics
• Logic
• Mathematical logic
• Model theory
• Relational model
• Binary relation
• Structure
• First-order logic
• Finitary relation
• Relation
• Path ordering
• Relational algebra

Self-Programming: Operationalizing Autonomy Eric Nivel & Kristinn R. Thórisson Center for Analysis and Design of Intelligent Agents / School of Computer Science, Reykjavik University Kringlunni 1, 103 Reykjavik, Iceland

Source URL: xenia.media.mit.edu

• Computing
• Logic in computer science
• Theoretical computer science
• Programming paradigms
• Software engineering
• Formal methods
• Semantics
• Abstraction
• Entry point
• Actor model
• Computer programming
• Computer-aided design